Programming in Martin-Löf's type theory - an introduction
- Författare
- Jan M. Smith Kent Petersson Bengt Nordström
- (Bengt Nordström, Kent Petersson and Jan M. Smith.)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Clarendon Press | 1990 | Storbritannien, Oxford | x, 221 sidor. tab. |